From 4eb11ab3a05ce9d24b741833e6602510ac2177ab Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Thu, 26 Jul 2012 02:14:40 -0700 Subject: [PATCH] Add Bug#12036 to latest ChangeLog entry. (I found this bug report after installing the change.) --- src/ChangeLog | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ChangeLog b/src/ChangeLog index ec43d9cd284..1009ea455fa 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,6 +1,6 @@ 2012-07-26 Paul Eggert - Simplify export of symbols to GDB; fix related .gdbinit bugs. + Simplify export of symbols to GDB (Bug#12036). * .gdbinit (xgetptr, xgetint, xgettype): Don't use "set $bugfix = $bugfix.i", as this doesn't work (with GDB 7.4.1, anyway). (xgetptr, xgetint, xgettype, xcoding, xcharset, xprintbytestr): -- 2.30.2